2 results for Sanjit A Seshia
-
Anchor for 1 page of results
-
-
Computer Aided Verification
Paperback
Published 16 Jun 2012